Agent-based autonomous systems and abstraction engines: Theory meets practice

We report on experiences in the development of hybrid autonomous systems where high-level decisions are made by a rational agent. This rational agent interacts with other sub-systems via an abstraction engine. We describe three systems we have developed using the EASS BDI agent programming language and framework which supports this architecture. As a result of these experiences we recommend changes to the theoretical operational semantics that underpins the EASS framework and present a fourth implementation using the new semantics

Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture

In this paper we discuss the application of correct-by-construction techniques to a resilient, risk-aware software architecture for onboard, real-time autonomous operations. We mean to combat complexity and the accidental introduction of bugs through the use of verifiable auto-coding software and correct-by-construction techniques, and discuss the use of a toolbox for correct-by-construction Temporal Logic Planning (TuLiP) for such a purpose. We describe some of TuLiP’s current functionality, specifically its ability to model symbolic discrete systems and synthesize software controllers and control policies that are correct-by-construction. We then move on to discuss the use of these techniques to define a deliberative goal-directed executive capability that performs risk-informed action-planning – to satisfy the mission goals (specified by mission control) within the specified priorities and constraints. Finally, we discuss an application of the TuLiP process to a simple rover resilience scenario

Programming Groups of Rational Agents

Abstract. In this paper, we consider the problem of effectively pro-gramming groups of agents. These groups should capture structuring mechanisms common in multi-agent systems, such as teams, cooperative groups, and organisations. Not only should individual agents be dynamic and evolving, but the groups in which the agents occur must be open, flexible and capable of similar evolution and restructuring. We enable the description and implementation of such groups by providing an extension to our previous work on programming languages for agent-based systems based on executable temporal and modal logics. With such formalism as a basis, we consider the grouping aspects within multi-agent systems. In particular, we describe how this logic-based approach to grouping has been implemented in Java and consider how this language can be used for developing multi-agent systems.

Constraint solving in uncertain and dynamic environments - a survey

International audienceThis article follows a tutorial, given by the authors on dynamic constraint solving at CP 2003 (Ninth International Conference on Principles and Practice of Constraint Programming) in Kinsale, Ireland. It aims at offering an overview of the main approaches and techniques that have been proposed in the domain of constraint satisfaction to deal with uncertain and dynamic environments

Plan Library Reconfigurability in BDI Agents

One of the major advantages of modular architectures in robotic systems is the ability to add or replace nodes, without needing to rearrange the whole system. In this type of system, autonomous agents can aid in the decision making and high-level control of the robot. However, when autonomously replacing a node it can be difficult to reconfigure plans in the agent's plan library while retaining correctness. In this paper, we exploit the formal concept of capabilities in Belief-Desire-Intention agents and describe how agents can reason about these capabilities in order to reconfigure their plan library while retaining overall correctness constraints. To validate our approach, we show the implementation of our framework and an experiment using a practical example in the Mars rover scenario

Practical Verification of Decision-Making in Agent-Based Autonomous Systems

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex log- ical reasoning is required. In the programming of complex systems it has, therefore, become common to separate out logical decision-making into a separate, discrete, component. However, verification techniques have failed to keep pace with this devel- opment. We are exploring agent-based logical components and have developed a model checking technique for such components which can then be composed with a sepa- rate analysis of the continuous part of the hybrid system. Among other things this allows program model checkers to be used to verify the actual implementation of the decision-making in hybrid autonomous systems

Prevalence, Outcome, and Prevention of Congenital Cytomegalovirus Infection in Neonates Born to Women with Preconception Immunity (CHILd Study)

Background: Human cytomegalovirus (HCMV) is the leading infectious cause of congenital disabilities. We designed a prospective study to investigate the rate, outcome, and risk factors of congenital CMV (cCMV) infection in neonates born to immune women, and the potential need and effectiveness of hygiene recommendations in this population. Methods: The study was composed of 2 sequential parts: an epidemiology (part 1) and a prevention (part 2) study. Performance of part 2 depended upon a cCMV rate >0.4%. Women enrolled in part 1 did not receive hygiene recommendations. Newborns were screened by HCMV DNA testing in saliva and cCMV was confirmed by urine testing. Results: Saliva swabs were positive for HCMV DNA in 45/9661 newborns and cCMV was confirmed in 18 cases. The rate of cCMV was. 19% (95% confidence interval [CI]:. 11-.29%), and 3 out of 18 infants with cCMV had symptoms of CMV at birth. Age, nationality, occupation, and contact with children were similar between mothers of infected and noninfected newborns. Twin pregnancy (odds ratio [OR]: 7.2; 95% CI: 1.7-32.2; P =. 037) and maternal medical conditions (OR: 3.9; 95% CI: 1.5-10.1; P =. 003) appeared associated with cCMV. Given the rate of cCMV was lower than expected, the prevention part of the study was cancelled. Conclusions: Newborns from women with preconception immunity have a low rate of cCMV, which appears to be mostly due to reactivation of the latent virus. Therefore, serological screening in childbearing age would be pivotal to identify HCMV-seropositive women, whose newborns have a low risk of cCMV. Clinical trials registration: www.clinicaltrials.gov (NCT03973359)

Advancing multi-vehicle deployments in oceanographic field experiments

Our research concerns the coordination and control of robotic vehicles for upper water-column oceanographic observations. In such an environment, operating multiple vehicles to observe dynamic oceanographic phenomena, such as ocean processes and marine life, from fronts to cetaceans, has required that we design, implement and operate software, methods and processes which can support opportunistic needs in real-world settings with substantial constraints. In this work, an approach for coordinated measurements using such platforms, which relate directly to task outcomes, is presented. We show the use and operational value of a new Artificial Intelligence based mixed-initiative system for handling multiple platforms along with the networked infrastructure support needed to conduct such operations in the open sea. We articulate the need and use of a range of middleware architectures, critical for such deployments and ground this in the context of a field experiment in open waters of the mid-Atlantic in the summer of 2015.Advancing multi-vehicle deployments in oceanographic field experimentsacceptedVersio